1. ACM SIGPLAN Erlang Workshop'02 : A satellite event of PLI 2002 : October 7, 2002, Pittsburgh, Pennsylvania, USA
پدیدآورنده :
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
E75A26
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. AML--The Agent Modeling Language
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intelligent agents (Computer software) ; Computer software ; Development. ; Programming languages (Electronic computers) ;
![](/design/images/bookmore.png)
3. Code craft
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programming. ; Programming languages (Electronic computers) ; Computer software ; Development. ;
![](/design/images/bookmore.png)
4. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers
پدیدآورنده : Joao Leite...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
L28
Vol
.
2990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Deductive Software Verification – The KeY Book
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبانهای برنامهنویسی کامپیوتر,مهندسی نرم افزار
رده :
E-Book
,
![](/design/images/bookmore.png)
6. Domain-specific modeling
پدیدآورنده : / Steven Kelly, Juha-Pekka Tolvanen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Programming languages (Electronic computers),Computer software- Development
رده :
QA76
.
7
.
K45
2008
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Essential.NET
پدیدآورنده : / Don Box, with Chris Sells
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Microsoft .NET,Common Language Runtime (Computer science),Component software,Programming languages (Electronic computers)
رده :
QA76
.
76
.
M52
,
B69
2003
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. High-level languages and software applications
پدیدآورنده : William J. Birnes, editor
موضوع : Programming languages (Electronic computers),Computer software
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. High-level languages and software applications
پدیدآورنده : William J. Birnes, editor
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Programming languages )Electronic computers(,، Computer software
رده :
QA
76
.
7
.
H515
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. High-level languages and software applications
پدیدآورنده : William J. Birnes, editor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(,، Computer software
رده :
QA
76
.
7
.
H515
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. Learn Microservices with Spring Boot
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software. ; Computer programming. ; Programming languages (Electronic computers). ; Professional Computing. ;
![](/design/images/bookmore.png)
12. MATLAB Recipes
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software. ; Mathematics. ; Programming languages (Electronic computers). ; Professional Computing. ;
![](/design/images/bookmore.png)
13. MetaSoft primer : towards a metalanguage for applied denotational semantics
پدیدآورنده : Blikle, Andrzej
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Metalanguage,، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
288
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. Microsoft QuickBASIC : Programming in Basic
پدیدآورنده : Microsoft Corporation
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : Software ، Programming languages )Electronic computers(,Software ، Compilers )Computer programs(
رده :
QA
76
.
73
.
B3
M43
1990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
15. Microsoft QuickBASIC computer .
پدیدآورنده :
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : Compilers (Computer programs)--Software.,Programming languages (Electronic computers)--Software.
رده :
QA
۷۶
/
۷۳
/
م
۹ ۱۳۶۴
![](/design/images/bookmore.png)
16. Practical Machine Learning with Rust
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine learning. ; Open source software. ; Computer programming. ; Programming languages (Electronic computers). ; Machine Learning. ;
![](/design/images/bookmore.png)
17. Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Software engineering,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
N373a
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
18. Proceedings of the 2002 ACM SIGPLAN Haskell Workshop )Haskell'02( : Pittsburgh, Pennsylvania, USA October 3, 2002
پدیدآورنده : Sponsored by the Association for Machinery, Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Haskell )Computer program language(,، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
H37A25
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
19. Proceedings : 29th International Conference on Software Engineering : ICSE 2007, 20-26 May 2007, Minneapolis, Minnesota
پدیدآورنده : sponsored by IEEE Computer Society Technical Council on Software Engineering, The ACM Special Interest Group on Software Engineering )SIGSOFT(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
758
.
I5
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
20. Proceedings : 29th International Conference on Software Engineering : ICSE 2007 companion volume, 20-26 May 2007, Minneapolis, Minnesota
پدیدآورنده : sponsored by IEEE Computer Society Technical Council on Software Engineering )SIGSOFT(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
758
.
I5
2007
Comp
.
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)